]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71ec81c) | patch
theme: Move .workspace-thumbnail* into _workspace-thumbnails.scss
authornana-4 <hnmaigo@gmail.com>
Sun, 19 Jan 2020 17:08:42 +0000 (02:08 +0900)
committerFlorian Müllner <florian.muellner@gmail.com>
Thu, 13 Feb 2020 19:46:29 +0000 (19:46 +0000)
commite206e3ba59622429f26c8759d7d199fd9f6812cd
tree9a6227623a8987f125abbfa94ec777becf2d414atree | snapshot
parent71ec81cff70f462aa75a822de0423f37c9852442commit | diff
theme: Move .workspace-thumbnail* into _workspace-thumbnails.scss

While workspace switcher is an OSD, workspace pager is an overview
panel. So it makes more sense to separate them into different
stylesheets.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/938
data/theme/gnome-shell-sass/_widgets.scss diff | blob | history
data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss diff | blob | history
data/theme/gnome-shell-sass/widgets/_workspace-thumbnails.scss [new file with mode: 0644] blob
data/theme/meson.build diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.